大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

0
索取号:
作者:Lee、 Mong Li.、Yu、 Jeffrey Xu.、Bellahs猫ne、 Zohra.、Unland、 Rainer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号:
作者:Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

0
索取号:
作者:Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

E-Health [electronic resource] : First IMIA/IFIP Joint Symposium, E-Health 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号:
作者:Takeda、 Hiroshi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Advances in Intrusion Detection [electronic resource] : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings

0
索取号:
作者:Jha、 Somesh.、Sommer、 Robin.、Kreibich、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Security-ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings

0
索取号:
作者:Gritzalis、 Dimitris.、Preneel、 Bart.、Theoharidou、 Marianthi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Energy Pricing [electronic resource] : Economics and Principles

0
索取号:
作者:Conkling、 Roger L.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Global Sourcing of Information Technology and Business Processes [electronic resource] : 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers

0
索取号:
作者:Oshri、 Ilan.、Kotlarsky、 Julia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Principles and Practice of Constraint Programming-CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

0
索取号:
作者:Cohen、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

0
索取号:
作者:Ku膷era、 Anton铆n.、Potapov、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Knowledge Science, Engineering and Management [electronic resource] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings

0
索取号:
作者:Bi、 Yaxin.、Williams、 Mary-Anne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Introduction to Reliable and Secure Distributed Programming [electronic resource]

0
索取号:
作者:Cachin、 Christian.、Guerraoui、 Rachid.、Rodrigues、 Lu铆s.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号:
作者:Forbrig、 Peter.、Patern贸、 Fabio.、Mark Pejtersen、 Annelise.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号:
作者:Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010

0
索取号:
作者:Essaaidi、 Mohammad.、Malgeri、 Michele.、Badica、 Costin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号:
作者:Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类